301. Topological model theory

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Topological spaces,، Model theory

رده :
QA
3
.
L28
no
.
769

302. Topological model theory

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Topological spaces,، Model theory

رده :
QA
3
.
L28
Vol
.
769

303. Using Model Theory in Phonology:

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Linguistics,Mathematics

304. Using Model Theory in Phonology: A Novel Characterization of Syllable Structure and Syllabification

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Linguistics,Mathematics

305. Using R for item response theory model applications

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Item response theory. ; R (Computer program language) ; Item response theory. ; fast ; R (Computer program language) ; fast ;

306. Using R for item response theory model applications /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Item response theory.,R (Computer program language),Item response theory.,PSYCHOLOGY / Research & Methodology,PSYCHOLOGY / Statistics,R (Computer program language),SOCIAL SCIENCE / Research

رده :
BF39
.
2
.
I84
P43
2020

307. What logics mean : from proof theory to model-theoretic semantics

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Logic,، Semantics,، Logic, Symbolic and mathematical

رده :
BC
71
.
G37W45

308. classical logics, model theory, and computability-Non

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Nonclassical mathematical logic ; Congresses. ; Model theory ; Congresses. ; Computable functions ; Congresses. ;

309. text analysis in translation theory,methodology,and didactic application of a model for translation-oriented text analysis

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)

رده :
P
306
.
2
.
N67
2005

310. theoretic approach to proof theory /-A model

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Proof theory. ;